translating english into predicate logic